翻訳と辞書
Words near each other
・ Axixá
・ Axixá do Tocantins
・ AXK
・ AxKit
・ Axl
・ AXL Guitars
・ Axl Hazarika
・ Axl Osborne
・ AXL receptor tyrosine kinase
・ Axl Rose
・ Axl Rotten
・ Axl Smith
・ Axle
・ Axle counter
・ Axle hitch
Axiom of countable choice
・ Axiom of dependent choice
・ Axiom of determinacy
・ Axiom of empty set
・ Axiom of Equity
・ Axiom of extensionality
・ Axiom of global choice
・ Axiom of infinity
・ Axiom of limitation of size
・ Axiom of Maria
・ Axiom of pairing
・ Axiom of power set
・ Axiom of projective determinacy
・ Axiom of real determinacy
・ Axiom of reducibility


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Axiom of countable choice : ウィキペディア英語版
Axiom of countable choice

The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that any countable collection of non-empty sets must have a choice function. I.e., given a function ''A'' with domain N (where N denotes the set of natural numbers) such that ''A''(''n'') is a non-empty set for every ''n'' ∈ N, then there exists a function ''f'' with domain N such that ''f''(''n'') ∈ ''A''(''n'') for every ''n'' ∈ N.
The axiom of countable choice (ACω) is strictly weaker than the axiom of dependent choice (DC), which in turn is weaker than the axiom of choice (AC). Paul Cohen showed that ACω, is not provable in Zermelo–Fraenkel set theory (ZF) without the axiom of choice. ACω holds in the Solovay model.
ZF + ACω suffices to prove that the union of countably many countable sets is countable. It also suffices to prove that every infinite set is Dedekind-infinite (equivalently: has a countably infinite subset).
ACω is particularly useful for the development of analysis, where many results depend on having a choice function for a countable collection of sets of real numbers. For instance, in order to prove that every accumulation point ''x'' of a set ''S''⊆R is the limit of some sequence of elements of ''S''\, one needs (a weak form of) the axiom of countable choice. When formulated for accumulation points of arbitrary metric spaces, the statement becomes equivalent to ACω. For other statements equivalent to ACω, see and .
A common misconception is that countable choice has an inductive nature and is therefore provable as a theorem (in ZF, or similar, or even weaker systems) by induction. However, this is not the case; this misconception is the result of confusing countable choice with finite choice for a finite set of size n (for arbitrary n), and it is this latter result (which is an elementary theorem in combinatorics) that is provable by induction. However, some countably infinite sets of nonempty sets can be proven to have a choice function in ZF without ''any'' form of the axiom of choice. These include ''V''ω−  and the set of proper and bounded open intervals of real numbers with rational endpoints.
==Use==
As an example of an application of ACω, here is a proof (from ZF+ACω) that every infinite set is Dedekind-infinite:
:Let ''X'' be infinite. For each natural number ''n'', let ''A''''n'' be the set of all 2''n''-element subsets of ''X''. Since ''X'' is infinite, each ''A''''n'' is nonempty. A first application of ACω yields a sequence (''B''''n'' : ''n''=0,1,2,3,...) where each ''B''''n'' is a subset of ''X'' with 2''n'' elements.
:The sets ''B''''n'' are not necessarily disjoint, but we can define
:: ''C''''0'' = ''B''''0''
::''C''''n''= the difference of ''B''''n'' and the union of all ''C''''j'', ''j''<''n''.
:Clearly each set ''C''''n'' has at least 1 and at most 2''n'' elements, and the sets ''C''''n'' are pairwise disjoint. A second application of ACω yields a sequence (''c''''n'': ''n''=0,1,2,...) with c''n''∈''C''''n''.
:So all the c''n'' are distinct, and ''X'' contains a countable set. The function that maps each ''c''''n'' to ''c''''n''+1 (and leaves all other elements of ''X'' fixed) is a 1-1 map from ''X'' into ''X'' which is not onto, proving that ''X'' is Dedekind-infinite.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Axiom of countable choice」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.